A notion of classical pure type system
نویسندگان
چکیده
منابع مشابه
A Notion of Classical Pure Type System ( Preliminary version )
We present a notion of classical pure type system, which extends the formalism of pure type system with a double negation operator.
متن کاملAudiological Outcome of Classical Adenoidectomy versus Endoscopically-Assisted Adenoidectomy using a Microdebrider
Introduction: The aim of this study was to evaluate audiological outcomes following adenoidectomy by the classical method and by endoscopically-assisted adenoidectomy using a powered instrument (microdebrider). Materials and Methods: This study was conducted in a tertiary care center. It included 40 patients divided into two equal groups of 20 each. Group-A patients underwent classical a...
متن کاملSome improvements in fuzzy turing machines
In this paper, we improve some previous definitions of fuzzy-type Turing machines to obtain degrees of accepting and rejecting in a computational manner. We apply a BFS-based search method and some level’s upper bounds to propose a computational process in calculating degrees of accepting and rejecting. Next, we introduce the class of Extended Fuzzy Turing Machines equipped with indeterminacy s...
متن کاملOn Isomorphism Theorems of Fn -Polygroups
In this paper, the notion of fuzzy n-polygroups (Fn -polygroups) is introduced and some related properties are investigated. In this regards, the concepts of normal F-subpolygroups and homomorphisms of Fn-polygroups are adopted. Also, the quotient of Fn-polygroups by defining regular relations are studied. Finally, the classical isomorphism theorems of groups are generalized to Fn-polygroups p...
متن کامل$L$-Topological Spaces
By substituting the usual notion of open sets in a topological space $X$ with a suitable collection of maps from $X$ to a frame $L$, we introduce the notion of L-topological spaces. Then, we proceed to study the classical notions and properties of usual topological spaces to the newly defined mathematical notion. Our emphasis would be concentrated on the well understood classical connectedness...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 6 شماره
صفحات -
تاریخ انتشار 1997